logical programming in c language